Recognition Algorithm for Mildly Context-Sensitive Languages

Vijay-Shanker and Weir have shown in 19] that Tree Adjoining Grammars and Combinatory Categorial Grammars can be transformed into equivalent Linear Indexed Grammars (LIGs) which can be recognized in O(n 6) time using a Cocke-Kasami-Younger style algorithm. This paper exhibits another recognition algorithm for LIGs, with the same upper-bound complexity, but whose average case behaves much better. This algorithm works in two steps: rst a general context-free parsing algorithm (using the underlying context-free grammar) builds a shared parse forest, and second, the LIG properties are checked on this forest. This check is based upon the composition of simple relations and does not require any computation of symbol stacks. Un autre algorithme de reconnaissance en O(n 6) pour les langages mod er ement contextuels R esum e : Vijay-Shanker et Weir ont montr e dans 19] que les Grammaires d'Arbres Adjoints et les Grammaires Cat egorielles Combinatoires peuvent ^ etre transform ees en Grammaires Index ees Lin eaires (LIG) equivalentes qui peuvent ^ etre reconnues en temps O(n 6) en utilisant un algorithme a la Cocke-Kasami-Younger. Cet article propose un autre algorithme de reconnaissance pour les LIG, ayant la m^ eme complexit e maximale, mais dont le comportement moyen est bien meilleur. Cet algorithme travaille en deux etapes : tout d'abord un analyseur non contextuel g en eral (qui utilise la grammaire non contextuelle sous-jacente) construit une for^ et d'analyse partag ee sur laquelle, dans une deuxi eme phase, les propri etes des LIG sont v erii ees. Cette v eriication repose sur la composition de relations simples et ne n ecessite aucun calcul de piles de symboles. Mots-cl e : analyse contextuelle, ambigu t e, arbre d'analyse, for^ et d'analyse partag ee.